Nanomedicine is yielding new and improved treatments and diagnostics for a range of diseases and disorders. Nanomedicine applications incorporate materials and components with nanoscale dimensions where novel physiochemical properties emerge as a result of size-dependent phenomena and high surface-to-mass ratio. Nanotherapeutics and in vivo nanodiagnostics are a subset of nanomedicine products that enter the human body. These include drugs, biological products, implantable medical devices, and combination products that are designed to function in the body in ways unachievable at larger scales. (...) Nanotherapeutics andin vivonanodiagnostics incorporate materials that are engineered at the nanoscale to express novel properties that are medicinally useful. These nanomedicine applications can also contain nanomaterials that are biologically active, producing interactions that depend on biological triggers. Examples include nanoscale formulations of insoluble drugs to improve bioavailability and pharmacokinetics, drugs encapsulated in hollow nanoparticles with the ability to target and cross cellular and tissue membranes and to release their payload at a specific time or location, imaging agents that demonstrate novel optical properties to aid in locating micrometastases, and antimicrobial and drug-eluting components or coatings of implantable medical devices such as stents. (shrink)

Shepherdson [14] showed that for a discrete ordered ring I, I is a model of IOpen iff I is an integer part of a real closed ordered field. In this paper, we consider integer parts satisfying PA. We show that if a real closed ordered field R has an integer part I that is a nonstandard model of PA (or even IΣ₄), then R must be recursively saturated. In particular, the real closure of I, RC (I), is recursively saturated. We (...) also show that if R is a countable recursively saturated real closed ordered field, then there is an integer part I such that R = RC(I) and I is a nonstandard model of PA. (shrink)

In a three-candidate election, a scoring rule λ, λ∈[0,1], assigns 1,λ and 0 points (respectively) to each first, second and third place in the individual preference rankings. The Condorcet efficiency of a scoring rule is defined as the conditional probability that this rule selects the winner in accordance with Condorcet criteria (three Condorcet criteria are considered in the paper). We are interested in the following question: What rule λ has the greatest Condorcet efficiency? After recalling the known answer to this (...) question, we investigate the impact of social homogeneity on the optimal value of λ. One of the most salient results we obtain is that the optimality of the Borda rule (λ=1/2) holds only if the voters act in an independent way. (shrink)

Early versions of satellite and radiosonde datasets suggested that the tropical surface had warmed more than the troposphere, while climate models consistently showed tropospheric amplification of surface warming in response to human-caused increases in greenhouse gases. We revisit such comparisons here using new observational estimates of surface and tropospheric temperature changes. We find that there is no longer a serious discrepancy between modeled and observed trends in the tropics. Our results contradict a recent claim that all simulated temperature trends in (...) the tropical troposphere are inconsistent with observations. This claim was based on the use of older radiosonde and satellite datasets and on two methodological errors: the neglect of observational trend uncertainties introduced by interannual climate variability and application of an inappropriate statistical “consistency test”.This emerging reconciliation of models and observations has two primary explanations. First, because of changes in the treatment of buoy and satellite information, new surface temperature datasets yield slightly reduced tropical warming relative to earlier versions. Second, recently developed satellite and radiosonde datasets now show larger warming of the tropical lower troposphere. In the case of a new satellite dataset from remote sensing systems, enhancedRSS warming is due to an improved procedure of adjusting for inter-satellite biases. When the RSS-derived tropospheric temperature trend is compared with four different observed estimates of surface temperature change, the surface warming is invariably amplified in the tropical troposphere, consistent with model results. Even if we use data from a second satellite dataset with smaller tropospheric warming than in remote sensing systems RSS, observed tropical lapse rates are not significantly different from those in all model simulations.Our results contradict a recent claim that all simulated temperature trends in the tropical troposphere and in tropical lapse rates are inconsistent with observations. This claim was based on the use of older radiosonde and satellite datasets and on two methodological errors: the neglect of observational trend uncertainties introduced by interannual climate variability and application of an inappropriate statistical “consistency test”. (shrink)

Here are the 18 guidance points contained in the UNAIDS document on Ethical Considerations in HIV Preventive Vaccine Research, reproduced by kind permission of the Joint United Nations Programme on HIV/AIDS.